WRITE_RD(RS1 < RS2);
